Quine-McCluskey Minimization